Interval constraint solving for camera control and motion planning

Universally Quantified Interval Constraint Solving An Application to Camera Control

Non-linear real constraint systems with universally/existentially quantified variables often need be solved in such contexts as control design or sensor planning. To date, these systems are mostly handled by computing a quantifier-free equivalent form by means of Cylindrical Algebraic/Trigonometric Decomposition (CAD/CTD). However, CAD and CTD restrict their input to be conjunctions and disjunc...

Grasp Envelopes for Constraint-based Robot Motion Planning and Control

Combining Interval Constraint Solving Methods

This paper discusses the combination of interval methods for solving nonlinear systems, and focuses on interval-based local consistencies and the multidimensional interval Newton method. The existing algorithms are revised in order to introduce a more cooperative strategy of application of elementary solvers that may prevent slow convergence phenomena and unnecessary computations. A set of expe...

Extensions of Constraint Solving for Proof Planning Extensions of Constraint Solving for Proof Planning

The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning beneets from the general functionalities of a constraint solver such as consistency checks, constraint inference, as well as the search for instantiations. However, oo-the-shelf constraint solvers are usually geared towards their typical applications. Since proof planning diiers from...

A Model for Constraint-Based Camera Planning

Automatically planning camera shots in virtual 3D environments requires solving problems similar to those faced by human cinematographers. In the most essential terms, each shot must communicate some specified visual message or goal. Consequently, the camera must be carefully staged to clearly view the relevant subject(s), properly emphasize the important elements in the shot, and compose an en...